Verifkation und Test des PROFIsafe-Sicherheitsprofils
نویسندگان
چکیده
Zusammenfassung. PROFIsafe [1] ist ein nach IEC 61508 [6] entwickeltes und geprüftes Sicherheitsprofil für die weit verbreiteten Feldbusprotokolle PROFIBUS [7] und PROFINET [8]. Es wurde von einem Konsortium von mehr als 20 internationalen Herstellern und Endanwendern definiert. Der 2007 publizierte IEC-Standard [9] enthält informelle, semiformale und formale Bestandteile. In diesem Papier berichten wir über Aktivitäten zur Verifikation und zum automatisierten Test der PROFIsafe-Sicherungsschicht. Aus den Beschreibungen in den PROFIsafe-Spezifikationen wurden von uns formale Modelle (Transitionssysteme bzw. UMLZustandsmaschinen) erstellt, die als Eingabe für einen Modellprüfer und einen Testgenerator dienten. Durch die unabhängige Modellierung wurden dabei Klarstellungen der Spezifikation erreicht. Mit der Modellprüfung konnten sicherheitsrelevante Eigenschaften der Spezifikation nachgewiesen und mit der Testgenerierung vollständige Testsuiten nach definierten Abdeckungskriterien erstellt werden. Aufgrund der weitgehenden Automatisierung von Modellprüfung und Testgenerierung konnten Erweiterungen des Standards sofort in die Validierung einbezogen werden. Die Ergebnisse der Validierung waren Teil der Zertifizierungsunterlagen zur Zulassung gemäß SicherheitsIntegritätslevel 3 (SIL-3). Die erzeugte Testsuite dient nun zur Überprüfung der Konformität von Endgeräten mit den in den Standardisierungsdokumenten festgelegten Funktionalitäten.
منابع مشابه
Profisafe and Profibus for High Availability and Safety in the Process Industries
Executive Overview ..................................................................... 3 Safety and Availability: Two Sides of the Same Coin ....................... 4 Business Drivers in Process Automation and Safety.......................... 5 PROFIBUS and PROFIsafe Build the Foundation for Process Safety ..... 7 Case Study: Profisafe in a Pipeline Compressor Station ................... 11 R...
متن کاملMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
In modernen Prozessorentwicklungsprojekten kann die Verifikation von non-mainline Funktionen bis zu einem Drittel des Gesamtaufwandes für Verifikationstätigkeiten annehmen. Non-mainline Features beinhalten Initialisierungsund Resetsequenzen, Zuverlässigkeits-, Zugriffsund Debugschnittstellen, Sensoren, Bist-Mechanismen oder auch Debugund Trace-Funktionen. Im Gegensatz zur bereits stark fortschr...
متن کاملGeschäftsbasiertes Testmanagement mit TMap Next
TMap ist heute eine weltweit verbreitete Testmethode. Die neue Version mit der Bezeichnung TMap Next wurde im Dezember 2006 von ihren Autoren dem Fachpublikum vorgestellt. Dieser Beitrag gibt eine kurze Vorstellung von TMap Next mit mehr Einblick in einen der vier Kernbausteine: dem geschäftsbasierten Ansatz zum Testmanagement. Die Testmethode TMap (Test Management approach) [PKS00] wird seit 1...
متن کاملFetal and Neonatal Immune System Development and Failure
ZUSAMEN-FASSUNG: Die oben angefuerte Erlaeuterung und Diskussion umfasst (I)- normale Entwicklung einzelner Hauptkomponente des menschlichen Immunmechanismus, ( 2) Faktoren, die moeglicherweise fetalen Immunsystem aktivieren, (3) Faktoren, welche die Entwicklung des Immunsystems stoeren koennen. REFERENCES
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softwaretechnik-Trends
دوره 28 شماره
صفحات -
تاریخ انتشار 2008